let f (x, y) = (2 * y) + x
let g (x, y) = y - x
